
%%%%%%%%%%%%%%%%%%%%%%% file typeinst.tex %%%%%%%%%%%%%%%%%%%%%%%%%
%
% This is the LaTeX source for the instructions to authors using
% the LaTeX document class 'llncs.cls' for contributions to
% the Lecture Notes in Computer Sciences series.
% http://www.springer.com/lncs           Springer Heidelberg 2006/05/04
%
% It may be used as a template for your own input - copy it
% to a new file with a new name and use it as the basis
% for your article.
%
% NB: the document class 'llncs' has its own and detailed documentation, see
% ftp://ftp.springer.de/data/pubftp/pub/tex/latex/llncs/latex2e/llncsdoc.pdf
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


\documentclass[runningheads,a4paper]{llncs}

\usepackage{amssymb}
\setcounter{tocdepth}{3}
\usepackage{graphicx}

\usepackage[utf8]{inputenc}
\usepackage{times}
\usepackage{xspace}
\usepackage{listings}
\usepackage{multirow}
\usepackage{AMMALanguages}
\usepackage{ASP}
\usepackage{array}
\usepackage[normalem]{ulem}
\usepackage{amsmath}
\usepackage{xspace}


\usepackage{url}
\urldef{\mailsa}\path|name.surname@univaq.it|
%\urldef{\mailsb}\path|anna.kramer, leonie.kunz, christine.reiss, nicole.sator,|
%\urldef{\mailsc}\path|erika.siebert-cole, peter.strasser, lncs}@springer.com|    
\newcommand{\keywords}[1]{\par\addvspace\baselineskip
\noindent\keywordname\enspace\ignorespaces#1}

\newcommand{\code}[1]{{\small \texttt{#1}}}
\newenvironment{comment}[1]{\begin{quote}\small{\bf #1:} \em}{\end{quote}}


%bibtex style of numbers
%\makeatletter
%\renewcommand*{\@biblabel}[1]{\hfill#1.}
%\makeatother

%bibtex space
%\usepackage{natbib}
%
%\let\oldbibliography\thebibliography
%\renewcommand{\thebibliography}[1]{%
%\oldbibliography{#1}%
%\setlength{\itemsep}{-1.6pt}%
%}

%\setlength{\bibsep}{0pt}


\begin{document}

\mainmatter  % start of an individual contribution

% first the title is needed
\title{Representing and Managing Uncertainty \\ in Bidirectional Transformations}



% a short form should be given in case it is too long for the running head
\titlerunning{Representing and Managing Uncertainty in Bidirectional Transformations}

% the name(s) of the author(s) follow(s) next
%
% NB: Chinese authors should write their first names(s) in front of
% their surnames. This ensures that the names appear correctly in
% the running heads and the author index.
%
\author{Romina Eramo \and Alfonso Pierantonio \and Gianni Rosa}


\institute{Dipartimento di Ingegneria e Scienze dell’Informazione e Matematica (DISIM)\\
Universit\`a degli Studi dell'Aquila, Italy\\\email{name.surname@univaq.it} }
%Via Vetoio, Coppito I-67010, L'Aquila, Italy\\\email{name.surname@univaq.it} }

\authorrunning{Romina Eramo, Alfonso Pierantonio, Gianni Rosa}

%\authorrunning{Alessio Bucaioni, Antonio Cicchetti, Romina Eramo, Alfonso Pierantonio}\maketitle
   
       
%
% NB: a more complex sample for affiliations and the mapping to the
% corresponding authors can be found in the file "llncs.dem"
% (search for the string "\mainmatter" where a contribution starts).
% "llncs.dem" accompanies the document class "llncs.cls".
%

%\toctitle{Lecture Notes in Computer Science}
%\tocauthor{Authors' Instructions}
\maketitle

\vspace{-0.7cm}
\input{abstract}

\vspace{-0.9cm}
\input{introduction}

\vspace{-0.3cm}
\input{jtl}

\vspace{-0.3cm}
\input{uncertainty}
%\input{uncertainty-bx}

\vspace{-0.4cm}
\input{metamodel}

\vspace{-0.3cm}
\input{generating1}

%\vspace{-0.3cm}
%\input{managing}

\vspace{-0.4cm}
\input{related}

\vspace{-0.4cm}
\input{conclusions}


%\section{Uncertainty}
%%incertezza + esempio
%\section{Incompleteness in bidirectional model transformations}
%%JTL + generazione concretizzazioni
%\section{Representing models with uncertainty}
%\subsection{The uncertainty metamodel}
%%descrivere il metamodello e come viene generato automaticamente
%\subsection{Specification}
%%descrivere un modello di incertezza (quello dell'esempio) conforme al metamodello
%\section{Generating models with uncertainty}
%%Come genero modelli di incertezza con motore JTL
%\section{Related work}
%\section{Conclusions}



\bibliographystyle{abbrv}
\bibliography{commonBibtex}




%\section*{Appendix: Springer-Author Discount}
%
%LNCS authors are entitled to a 33.3\% discount off all Springer
%publications. Before placing an order, the author should send an email, 
%giving full details of his or her Springer publication,
%to \url{orders-HD-individuals@springer.com} to obtain a so-called token. This token is a
%number, which must be entered when placing an order via the Internet, in
%order to obtain the discount.
%
%\section{Checklist of Items to be Sent to Volume Editors}
%Here is a checklist of everything the volume editor requires from you:
%
%
%\begin{itemize}
%\settowidth{\leftmargin}{{\Large$\square$}}\advance\leftmargin\labelsep
%\itemsep8pt\relax
%\renewcommand\labelitemi{{\lower1.5pt\hbox{\Large$\square$}}}
%
%\item The final \LaTeX{} source files
%\item A final PDF file
%\item A copyright form, signed by one author on behalf of all of the
%authors of the paper.
%\item A readme giving the name and email address of the
%corresponding author.
%\end{itemize}
\end{document}
